type theory

On the π and Σ rules in intuitionistic type theory

直觉主义类型论中π和∑规则的研究

Studies of the negation in the intuitionistic type theory

直觉主义类型论中否定构造的研究

An Automatic Programming System Based on Type Theory

一个基于类型理论的自动程序设计系统

Text Type Theory and Its Application to Translation Teaching

文本类型理论及其在翻译教学中的应用

Text type theory based analysis of Chinese-to-English translation of public signs

从文本类型理论视角解析公示语汉英翻译实践

The text type theory is of great significance to the study of translation style .

文本类型理论对翻译风格研究具有重要意义。

Study on Jungian Psychological Type Theory and Inventory of Historical Development

荣格心理类型理论与量表的历史发展研究

Grassland classification is the concrete practice of the grassland type theory .

草原分类是草原类型理论的具体实践。

Translation and the Text Type Theory

文本类型理论与翻译

The Chinese traditional culture based personality type theory & I Qing personality model , was introduced .

该文介绍了基于中国传统文化建立起来的本土化人格类型理论&周易人格模型；

An inheritance mechanism with type theory

基于类型理论的继承机制的研究

On type theory for object oriented programming

面向对象类型理论的比较研究

A Displacement Type Theory for Thin Conical Shells Composed of Composite Materials

复合材料圆锥壳体的位移型方程

Type Theory and Programming

类型理论和程序设计

You would need to study type theory at university for several years to understand what it 's all about .

你需要学习理论在大学数多年来了解它的全部。

Imperative Operational Semantics in Type Theory

命令的操作语义在类型系统中的一种表示

Recursive metaprogramming based on type theory

基于类型理论的递旧元程序设计

The scholar of China has revised the conception of the Economic-cultural type theory .

我国学者对前苏联经济文化类型理论概念进行了修改。

The text type theory , proposed by the German translation theorist K. Of the original text .

文本类型理论是德国翻译理论家赖斯和英国翻译家纽马克根据语言功能对文本进行功能划分的理论。

Neo - classical Type Theory

新古典主义的类型说

The whole article places extra emphasis on the cognition and analysis of type theory of Arthur Kaufmann .

全文侧重对考夫曼类型理论的认识和分析，对这种理论在刑法中的作用进行了修正和完善。

A Donnell Type Theory for Finite Deflection of Stiffened Thin Conical Shells Composed of Composite Materials

复合材料加筋薄壁圆锥壳体有限变形的混合型理论

Nevanlinna type theory of meromorphic functions in the exterior of a circle ( I )

圆外亚纯函数的Nevanlinna型理论（I）

In analogy to algebraic data type theory , this paper proposed the mathematical model of objects , object types and abstract object types .

类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。

This thesis combined with the text type theory , analyses the choice of translation strategies in business text translation from the perspective of culture construction .

本文结合文本类型学理论，从文化建构视角分析商务文本翻译中翻译策略的选择。

Proof generation capabilities of proof construction systems are based on type theory . Type systems allow us to express program properties that are automatically verified .

证明系统的能力取决于类型系统，因而类型系统可以表达程序的性质，并自动进行验证。

MBTI psychological type theory may contribute to the self-perfection to individual lawyers as well as legal profession as a whole .

MBTI性格类型理论无论对作为个体的法律人和还是对作为整体的法律职业，在自我完善方面都具有重要的参考价值。

Our approach is to combine object-oriented paradigm with formal methods in software engineering , especially abstract data type theory , and algebraic specification of systems .

我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。

He also took the opportunity to brush up and submit to Alonzo Church 's journal some wartime work on type theory .

图灵还利用这次机会，向阿隆佐·丘奇的刊物提交了一些关于类型论的成果，这是他在战争期间做的。

Method : a total of 85 nursing staffs of supply room from general hospitals were selected and classified according to the " Functional Type Theory " character classification .

[方法]选取综合医院供应室护理人员85人，按机能类型说性格分类法分类，统计职业暴露次数。